Using Automatic Code Generation for Safety-Critical System Development
نویسنده
چکیده
To minimize the dangers of such systems, special development standards and processes have been designed for use in safety-critical applications. The established standard in automotive electronics is IEC61508. This is a generic safety standard that requires the defi nition of more detailed standards for specifi c industries and projects. Software engineering studies have shown that the RTCA DO-178B software development standard, originally defi ned for the aviation industry, is also a suitable detailed standard that corresponds to the IEC61508 safety standard .The software development process according to RTCA DO-178B is organized according to the well-known V-cycle (see fi g. 1).
منابع مشابه
Automatic Code Generation for Safety-Critical Systems dSPACE
The vehicles of the future will contain more and more safety-critical systems. Because of frequent changes, automatic code generators are increasingly being used in software development. The current safety standard for vehicle development, IEC61508, is designed for manual software development and provides very little support for selecting and using code generators for software in safety-critica...
متن کاملSpecification Languages and Their Use (Case: AsmL)
Specification languages are an integral part of software development. They enable concise and exact specification of software systems on different abstraction levels. Specification languages have many uses: they are used as an intermediary step from requirements towards implementation; they are used to verify critical properties of complex systems such as safety and liveness, and specifications...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملVerifying the Specification-to-Code Correspondence for Abstract Data Types
Formal specification has become an important issue in the development of safety critical software. Automatic code generation from specifications in general leads to inefficient implementations. Instead, we present a verification method that allows verifying an implementation against a given specification, using specification generation from program source code. Generated specifications can be c...
متن کاملKomponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme
Embedded systems as anti-blocking systems or engine controllers advance more and more into safety critical applications. The systems are increasingly distributed and interconnected. The software in these systems is gaining in significance rapidly and becomes larger and more complex at the same time. Therefore, new methods and procedures are needed in order to manage this complexity. The goal of...
متن کامل